A signature-based algorithm for computing Gröbner-Shirshov bases in skew solvable polynomial rings
نویسندگان
چکیده
منابع مشابه
GröBner-Shirshov Bases for Dialgebras
In this paper, we define the Gröbner-Shirshov bases for a dialgebra. The composition-diamond lemma for dialgebras is given then. As a result, we obtain a Gröbner-Shirshov basis for the universal enveloping algebra of a Leibniz algebra.
متن کاملSignature-Based Gröbner Basis Algorithms - Extended MMM Algorithm for computing Gröbner bases
Signature-based algorithms is a popular kind of algorithms for computing Gröbner bases, and many related papers have been published recently. In this paper, no new signature-based algorithms and no new proofs are presented. Instead, a view of signature-based algorithms is given, that is, signature-based algorithms can be regarded as an extended version of the famous MMM algorithm. By this view,...
متن کاملReduced Gröbner Bases in Polynomial Rings over a Polynomial Ring
We define reduced Gröbner bases in polynomial rings over a polynomial ring and introduce an algorithm for computing them. There exist some algorithms for computing Gröbner bases in polynomial rings over a polynomial ring. However, we cannot obtain the reduced Gröbner bases by these algorithms. In this paper we propose a new notion of reduced Gröbner bases in polynomial rings over a polynomial r...
متن کاملGrÖbner-shirshov Bases for Free Inverse Semigroups
A new construction for free inverse semigroups was obtained by Poliakova and Schein in 2005. Based on their result, we find Gröbner-Shirshov bases for free inverse semigroups with respect to the deg-lex order of words. In particular, we give the (unique and shortest) normal forms in the classes of equivalent words of a free inverse semigroup together with the Gröbner-Shirshov algorithm to trans...
متن کاملGröbner-Shirshov bases for some braid groups
Presenting 2-generator Artin groups A(m) and braid groups B3 and B4 as towers of HNN extensions of free groups, we obtain Gröbner–Shirshov bases, normal forms and rewriting systems for these groups. c © 2005 Elsevier Ltd. All rights reserved.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Open Mathematics
سال: 2015
ISSN: 2391-5455
DOI: 10.1515/math-2015-0028